Browsing by Subject "Computation theory"

Now showing items 1-20 of 60

    • Article  

      ACLP: Flexible solutions to complex problems 

      Kakas, Antonis C.; Mourlas, G. (1997)
      In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...
    • Article  

      Agent planning, negotiation and control of operation 

      Kakas, Antonis C.; Torroni, P.; Demetriou, Neophytos (2004)
      This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, and control of operation, for reconciling rationality ...
    • Conference Object  

      Argumentation for propositional logic and nonmonotonic reasoning 

      Kakas, Antonis C.; Toni, F.; Mancarella, P. (CEUR-WS, 2014)
      Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in AI. Argumentation is also close to the original inception of logic as a framework ...
    • Article  

      An argumentation framework for reasoning about actions and change 

      Kakas, Antonis C.; Miller, R.; Toni, F. (1999)
      We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
    • Article  

      Argumentation Logic 

      Kakas, Antonis C.; Toni, F.; Mancarella, P. (2014)
      We propose a novel logic-based argumentation framework, called Argumentation Logic (AL), built upon a restriction of classical Propositional Logic (PL) as its underlying logic. This allows us to control the application of ...
    • Conference Object  

      Argumentation: Reconciling human and automated reasoning 

      Kakas, Antonis C.; Michael, Loizos; Toni, F. (CEUR-WS, 2016)
      We study how using argumentation as an alternative foundation for logic gives a framework in which we can reconcile human and automated reasoning. We analyse this reconciliation between human and automated reasoning at ...
    • Article  

      Asynchronous timed multimedia environments based on the coordination paradigm 

      Papadopoulos, George Angelos (2003)
      This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations ...
    • Conference Object  

      Automated segmentation of folk songs using artificial neural networks 

      Neocleous, Andreas C.; Petkov, N.; Schizas, Christos N. (INSTICC Press, 2014)
      Two different systems are introduced, that perform automated audio annotation and segmentation of Cypriot folk songs into meaningful musical information. The first system consists of three artificial neural networks (ANNs) ...
    • Article  

      Brownian-like kinematics of ball milling for particulate structural modeling 

      Doumanidis, C. C.; Kaabi, H. A. Al; Alzaabi, A. S. M.; Gunduz, I. E.; Rebholz, Claus; Doumanidis, C. C. (2016)
      Ball milling motion has been previously studied through computationally expensive, off-line experimental video processing and numerical simulations by the discrete element method. This research establishes a more efficient ...
    • Conference Object  

      A catalog of ∃ℝ-complete decision problems about Nash equilibria in multi-player games 

      Bilò, Vittorio; Mavronicolas, Marios (Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016)
      [Schaefer and Štefankovic, Theory of Computing Systems, 2015] provided an explicit formulation of ∃ℝ as the class capturing the complexity of deciding the Existential Theory of the Reals, and established that deciding, ...
    • Article  

      Classical methods in nonmonotonic reasoning 

      Dimopoulos, Yannis (1994)
      In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint ...
    • Article  

      Complexity of rational and irrational nash equilibria 

      Bilò, Vittorio; Mavronicolas, Marios (2014)
      We introduce two new natural decision problems, denoted as ∃ RATIONAL NASH and ∃ IRRATIONAL NASH, pertinent to the rationality and irrationality, respectively, of Nash equilibria for (finite) strategic games. These problems ...
    • Conference Object  

      Computation of correlation matrices for tetraquark candidates with Jp = 0+ and flavor structure q1q2q3q3 

      Berlin, J.; Abdel-Rehim, A.; Alexandrou, Constantia; Dalla Brida, M.; Gravina, M.; Wagner, M. (Proceedings of Science (PoS), 2015)
      The conjecture that several recently observed mesons have a structure, which is not dominated by an ordinary quark-Antiquark pair, but by a four-quark structure, is being actively investigated both theoretical and ...
    • Conference Object  

      Computation of disconnected contributions to nucleon observables 

      Alexandrou, Constantia; Drach, V.; Jansen, K.; Koutsou, Giannis; Avilés-Casco, A. V. (Proceedings of Science (PoS), 2013)
      We compare several methods for computing disconnected fermion loops contributing to nucleon three-point functions. The comparison is carried out using one ensemble of Nf =2+1+1 twisted mass fermions with pion mass of 373 ...
    • Article  

      Computational modeling of visual selective attention based on correlation and synchronization of neural activity 

      Neokleous,Kleanthis C.; Avraamides, Marios N.; Schizas, Christos N. (2009)
      Within the broad area of computational intelligence, it is of great importance to develop new computational models of human behaviour aspects. In this report we look into the recently suggested theory that neural synchronization ...
    • Article  

      Computing the acceptability semantics 

      Toni, F.; Kakas, Antonis C. (1995)
      We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined ...
    • Article  

      Conformational analysis of compstatin analogues with molecular dynamics simulations in explicit water 

      Tamamis, Phanourios; Skourtis, Spiros S.; Morikis, D.; Lambris, J. D.; Archontis, Georgios Z. (2007)
      The cyclic 13-residue peptide compstatin is a potential therapeutic agent against the unregulated activation of the complement system. A thorough knowledge of its structural and dynamical properties in solution may assist ...
    • Article  

      A diffuse reflectance infrared fourier-transform spectra and density functional theory study of CO adsorption on Rhγ-Al2O 3 

      Zeinalipour-Yazdi, Constantinos D.; Cooksy, A. L.; Efstathiou, Angelos M. (2007)
      The vibrational frequencies and bond dissociation energies of carbon monoxide adsorbed to various rhodium clusters are computed, and the diffuse reflectance infrared Fourier-transform (DRIFT) spectrum of carbon monoxide ...
    • Conference Object  

      Distributed context management in a Mobility and Adaptation Enabling Middleware (MADAM) 

      Mikalsen, M.; Paspallis, Nearchos; Floch, J.; Stav, E.; Papadopoulos, George Angelos; Chimaris, Avraam N. (2006)
      As computing devices are getting smaller, we tend to bring them everywhere. Consequently the operating conditions of the devices are constantly changing (e.g. changing user requirements, change in the system context and ...
    • Article  

      Distributed function calculation and consensus using linear iterative strategies 

      Sundaram, S.; Hadjicostis, Christoforos N. (2008)
      Given an arbitrary network of interconnected nodes, we develop and analyze a distributed strategy that enables a subset of the nodes to calculate any given function of the node values. Our scheme utilizes a linear iteration ...